NL Formulations
LSP Formalization
[[Lexico-SyntacticODPCaseFormalization::[A/any] NP<subclass> be [a/any] NP<superclass> PREP [(NP<class>,)* and/or NP<class]]
Reusable JAPE code: SC_De_2.jape
Abbreviation and symbols